logarithm rules proof